CD ROM Paradise Collection 4/CD ROM Paradise Collection 4 1995 Nov.iso/misc/cabern.zip/EXAMPLES/GAS_BURN.NET

Text File | 1994-09-08 | 11KB | 250 lines

(TimedNet$gas_burner.net
49#
(TimedPlace$IDLE_PHASE

448#448#100#2#1#1#1#
(TimedToken$Tk10

T0
0#);
1
timed_void
)
(TimedPlace$PURGE_PHASE

1152#448#100#2#1#2#0#;
1
timed_void
)
(TimedPlace$IGNITE_PHASE_B

1856#448#100#2#1#3#0#;
1
timed_void
)
(TimedPlace$IGNITE_PHASE_S

1856#1088#100#2#1#4#0#;
1
timed_void
)
(TimedPlace$BURN_PHASE_B

1856#1728#100#2#1#5#0#;
1
timed_void
)
(TimedPlace$BURN_PHASE_S

1088#1728#100#2#1#6#0#;
1
timed_void
)
(TimedPlace$STOP_PHASE_I

448#1728#100#2#1#7#0#;
1
timed_void
)
(TimedPlace$STOP_PHASE_F

448#960#100#2#1#8#0#;
1
timed_void
)
(TimedTransition$HrOn

832#512#100#1#1#9#TRUE
;
IDLE_PHASE.time + 0.01
max (IDLE_PHASE.time + 0.01 , HeatReq.time + 0.1)
STRONG
)
(TimedTransition$IgnOn

1472#576#100#1#1#10#TRUE
;
max(PURGE_PHASE.time + 0.01,IDLE_PHASE_bis.time + 30)
max(PURGE_PHASE.time + 0.01,IDLE_PHASE_bis.time + 30)
STRONG
)
(TimedTransition$GasOn

1856#704#100#1#1#11#TRUE
;
enab + 0.01
enab + 0.1
STRONG
)
(TimedTransition$FlameOn

1856#1344#100#1#1#12#TRUE
;
IGNITE_PHASE_S.time + 0.01
max ( Flame.time+0.1 , IGNITE_PHASE_S.time+0.01)
STRONG
)
(TimedTransition$IgnOff

1600#1536#100#1#1#13#TRUE
;
enab + 0.01
enab + 0.1
STRONG
)
(TimedTransition$HrOff

832#1536#100#1#1#14#TRUE
;
BURN_PHASE_S.time + 0.01
max ( BURN_PHASE_S.time + 0.01 , NoHeatReq.time + 0.1 )
STRONG
)
(TimedTransition$GasOff

448#1280#100#1#1#15#TRUE
;
enab + 0.01
enab + 0.1
STRONG
)
(TimedTransition$FlameOff

448#704#100#1#1#16#TRUE
;
STOP_PHASE_F.time + 0.01
max ( STOP_PHASE_F.time+0.01, NoFlame.time+0.1 )
STRONG
)
(TimedPlace$IGNITE_FAIL_PHASE

1280#832#100#2#1#17#0#;
1
timed_void
)
(TimedPlace$FLAME_FAIL_PHASE

1088#1152#100#2#1#18#0#;
1
timed_void
)
(TimedTransition$FlameOff2

1088#1408#100#1#1#19#TRUE
;
BURN_PHASE_S.time + 0.01
max ( BURN_PHASE_S.time+0.01 , NoFlame.time+0.1 )
STRONG
)
(TimedTransition$GasOff2

1472#960#100#1#1#20#TRUE
;
enab + 2
enab + 2
STRONG
)
(TimedTransition$IgnOff2

960#704#100#1#1#21#TRUE
;
enab + 0.01
enab + 0.1
STRONG
)
(TimedTransition$GasOff3

896#1024#100#1#1#22#TRUE
;
enab + 0.01
enab + 0.1
STRONG
)
(TimedPlace$NoIgnition

2816#640#100#2#4#23#1#
(TimedToken$Tk15

T0
0#);
1
timed_void
)
(TimedPlace$Ignition

3136#768#100#2#4#24#0#;
1
timed_void
)
(TimedPlace$IgnActOffReq

2496#384#100#2#1#25#0#;
1
timed_void
)
(TimedPlace$IgnActOnReq

2368#640#100#2#1#26#0#;
1
timed_void
)
(TimedTransition$IgnLightOff

3008#384#100#1#1#27#TRUE
;
IgnActOffReq.time + 0.2
IgnActOffReq.time + 0.2
STRONG
)
(TimedTransition$IgnLightOn

2560#768#100#1#1#28#TRUE
;
IgnActOnReq.time + 0.2
IgnActOnReq.time + 0.2
STRONG
)
(TimedPlace$ValActCloseReq

1728#1920#100#2#1#29#0#;
1
timed_void

)
(TimedPlace$ValActOpenReq

2112#1920#100#2#1#30#0#;
1
timed_void
)
(TimedPlace$NoGas

1824#2304#100#2#4#31#1#
(TimedToken$Tk12

T0
0#);
1
timed_void
)
(TimedPlace$Gas

2240#2304#100#2#4#32#0#;
1
timed_void
)
(TimedTransition$CloseValve

1728#2112#100#1#1#33#TRUE
;
ValActCloseReq.time + 0.2
ValActCloseReq.time + 0.2
STRONG
)
(TimedTransition$OpenValve

2176#2176#100#1#1#34#TRUE
;
ValActOpenReq.time + 0.2
ValActOpenReq.time + 0.2
STRONG
)
(TimedPlace$Flame

2816#1344#100#2#4#35#0#;
1
timed_void
)
(TimedPlace$NoFlame

2816#1600#100#2#4#36#1#
(TimedToken$Tk13

T0
0#);
1
timed_void
)
(TimedPlace$HeatReq

512#1984#100#2#4#37#0#;
1
timed_void
)
(TimedPlace$NoHeatReq

832#1984#100#2#4#38#1#
(TimedToken$Tk11

T1
0#);
1
timed_void
)
(TimedTransition$FlameLightOn

2432#1792#100#1#1#39#TRUE
;
max (Gas.time , Ignition.time ) + 0.5
max (Gas.time , Ignition.time ) + 0.5
STRONG
)
(TimedTransition$FlameLightOff

2816#1472#100#1#1#40#TRUE
;
enab
NoGas.time + 0.1
STRONG
)
(TimedTransition$SwitchHROn

384#2240#100#1#1#41#TRUE
;
enab
enab + 10
STRONG
)
(TimedTransition$switchHROff

640#2112#100#1#1#42#TRUE
;
enab + 120
enab + 120
STRONG
)
(TimedTransition$FlameLightOff2

3392#1472#100#1#1#43#TRUE
;
enab
enab+100
WEAK
)
(TimedTransition$Inc_Conc

3712#2112#100#1#1#44#TRUE
;
enab+0.1
enab+0.1
STRONG
)
(TimedPlace$NO_FLAME_bis

3712#1856#100#2#1#45#1#
(TimedToken$Tk14

T0
0#);
1
timed_void
)
(TimedPlace$Concentration

3712#2368#100#2#1#46#0#;
1
timed_void
)
(TimedTransition$Dec_Conc

3712#2624#100#1#1#47#TRUE
;
enab+30
enab+30
STRONG
)
(TimedPlace$GAS_bis

2496#2496#100#2#1#48#0#;
1
timed_void
)
(TimedPlace$IDLE_PHASE_bis

448#256#100#2#1#49#1#
(TimedToken$Tk9

T0
0#);
1
timed_void
)86#
(Arc$A1
768#448#0#0#0#0#0#0#20#0#1#2^11^1
)
(Arc$A2
1024#512#0#0#0#0#0#0#20#0#1#11^4^1
)
(Arc$A3
1408#448#0#0#0#0#0#0#20#0#1#4^12^1
)
(Arc$A4
1728#576#0#0#0#0#0#0#20#0#1#12^5^1
)
(Arc$A5
1856#576#0#0#0#0#0#0#20#0#1#5^13^1
)
(Arc$A6
1856#832#0#0#0#0#0#0#20#0#1#13^6^1
)
(Arc$A7
1856#1216#0#0#0#0#0#0#20#0#1#6^14^1
)
(Arc$A8
1856#1536#0#0#0#0#0#0#20#0#1#14^7^1
)
(Arc$A9
1792#1536#0#0#0#0#0#0#20#0#1#7^15^1
)
(Arc$A10
1600#1728#0#0#0#0#0#0#20#0#1#15^8^1
)
(Arc$A11
960#1536#0#0#0#0#0#0#20#0#1#8^16^1
)
(Arc$A12
512#1600#0#0#0#0#0#0#20#0#1#16^9^1
)
(Arc$A13
448#1472#0#0#0#0#0#0#20#0#1#9^17^1
)
(Arc$A14
448#1024#0#0#0#0#0#0#20#0#1#17^10^1
)
(Arc$A15
448#832#0#0#0#0#0#0#20#0#1#10^18^1
)
(Arc$A16
448#576#0#0#0#0#0#0#20#0#1#18^2^1
)
(Arc$A17
1664#960#0#0#0#0#0#0#20#0#1#6^22^1
)
(Arc$A18
1472#832#0#0#0#0#0#0#20#0#1#22^19^1
)
(Arc$A19
1024#832#0#0#0#0#0#0#20#0#1#19^23^1
)
(Arc$A20
672#512#0#0#0#0#0#0#20#0#1#23^2^1
)
(Arc$A21
1088#1024#0#0#0#0#0#0#20#0#1#20^24^1
)
(Arc$A27
672#608#0#0#0#0#0#0#20#0#1#24^2^1
)
(Arc$A23
1088#1536#0#0#0#0#0#0#20#0#1#8^21^1
)
(Arc$A26
1088#1344#0#0#0#0#0#0#20#0#1#21^20^1
)
(Arc$A25
0#0#0#0#0#0#0#0#20#0#1#28^30^1
)
(Arc$A26
0#0#0#0#0#0#0#0#20#0#1#30^25^1
)
(Arc$A27
0#0#0#0#0#0#0#0#20#0#1#25^31^1
)
(Arc$A28
0#0#0#0#0#0#0#0#20#0#1#31^27^1
)
(Arc$A68
3264#512#0#0#0#0#0#0#20#0#1#27^30^1
)
(Arc$A30
0#0#0#0#0#0#0#0#20#0#1#29^31^1
)
(Arc$A31
0#0#0#0#0#0#0#0#20#0#1#33^38^1
)
(Arc$A32
0#0#0#0#0#0#0#0#20#0#1#38^36^1
)
(Arc$A33
0#0#0#0#0#0#0#0#20#0#1#36^37^1
)
(Arc$A34
0#0#0#0#0#0#0#0#20#0#1#37^34^1
)
(Arc$A67
1984#2304#0#0#0#0#0#0#20#0#1#34^38^1
)
(Arc$A36
0#0#0#0#0#0#0#0#20#0#1#32^37^1
)
(Arc$A37
0#0#0#0#0#0#0#0#20#0#1#45^39^1
)
(Arc$A40
0#0#0#0#0#0#0#0#20#0#1#39^46^1
)
(Arc$A66
2816#1792#0#0#0#0#0#0#20#0#1#40^45^1
)
(Arc$A41
0#0#0#0#0#0#0#0#20#0#1#46^40^1
)
(Arc$A42
2432#1344#0#0#0#0#0#0#20#0#1#27^45^1
)
(Arc$A43
2560#2176#0#0#0#0#0#0#20#0#1#36^45^1
)
(Arc$A44
2176#2368#3072#2368#3072#1536#0#0#20#0#1#34^46^1
)
(Arc$A85
128#1792#128#640#0#0#0#0#20#0#1#42^11^1
)
(Arc$A86
128#640#128#1792#0#0#0#0#20#0#1#11^42^1
)
(Arc$A47
0#0#0#0#0#0#0#0#20#0#1#12^29^1
)
(Arc$A48
2368#960#2368#1664#0#0#0#0#20#0#1#13^33^1
)
(Arc$A49
1472#1408#1472#1792#0#0#0#0#20#0#1#22^32^1
)
(Arc$A50
0#0#0#0#0#0#0#0#20#0#1#39^14^1
)
(Arc$A51
0#0#0#0#0#0#0#0#20#0#1#14^39^1
)
(Arc$A52
1600#1216#2112#704#0#0#0#0#20#0#1#15^28^1
)
(Arc$A53
0#0#0#0#0#0#0#0#20#0#1#40^21^1
)
(Arc$A54
0#0#0#0#0#0#0#0#20#0#1#21^40^1
)
(Arc$A55
0#0#0#0#0#0#0#0#20#0#1#16^43^1
)
(Arc$A56
0#0#0#0#0#0#0#0#20#0#1#43^16^1
)
(Arc$A57
896#1408#1280#1536#0#0#0#0#20#0#1#24^32^1
)
(Arc$A71
192#1280#192#2368#1280#2368#0#0#20#0#1#17^32^1
)
(Arc$A88
3008#2688#256#2688#256#768#0#0#20#0#1#40^18^1
)
(Arc$A89
256#768#256#2688#3008#2688#0#0#20#0#1#18^40^1
)
(Arc$A61
1280#704#1984#576#0#0#0#0#20#0#1#23^28^1
)
(Arc$A62
576#1984#0#0#0#0#0#0#20#0#1#42^48^1
)
(Arc$A63
704#1984#0#0#0#0#0#0#20#0#1#48^43^1
)
(Arc$A64
1024#1984#1024#2240#0#0#0#0#20#0#1#43^47^1
)
(Arc$A65
384#1984#0#0#0#0#0#0#20#0#1#47^42^1
)
(Arc$A65
2560#2176#0#0#0#0#0#0#20#0#1#45^36^1
)
(Arc$A66
3072#1536#3072#2368#2176#2368#0#0#20#0#1#46^34^1
)
(Arc$A67
2432#1344#0#0#0#0#0#0#20#0#1#45^27^1
)
(Arc$A68
3200#1344#0#0#0#0#0#0#20#0#1#39^49^1
)
(Arc$A69
3200#1600#0#0#0#0#0#0#20#0#1#49^40^1
)
(Arc$A70
3392#2304#0#0#0#0#0#0#20#0#1#36^49^1
)
(Arc$A71
3392#2304#0#0#0#0#0#0#20#0#1#49^36^1
)
(Arc$A72
2624#1856#0#0#0#0#0#0#20#0#1#51^45^1
)
(Arc$A73
3712#1664#0#0#0#0#0#0#20#0#1#49^51^1
)
(Arc$A74
3200#1472#0#0#0#0#0#0#20#0#1#46^51^1
)
(Arc$A75
0#0#0#0#0#0#0#0#20#0#1#51^50^1
)
(Arc$A76
0#0#0#0#0#0#0#0#20#0#1#50^53^1
)
(Arc$A77
0#0#0#0#0#0#0#0#20#0#1#53^54^1
)
(Arc$A78
0#0#0#0#0#0#0#0#20#0#1#50^51^1
)
(Arc$A79
3264#2496#0#0#0#0#0#0#20#0#1#55^50^1
)
(Arc$A80
3264#2496#0#0#0#0#0#0#20#0#1#50^55^1
)
(Arc$A81
2176#2432#0#0#0#0#0#0#20#0#1#38^55^1
)
(Arc$A82
1728#2496#0#0#0#0#0#0#20#0#1#55^37^1
)
(Arc$A85
256#512#0#0#0#0#0#0#20#0#1#18^56^1
)
(Arc$A86
1600#256#1600#448#0#0#0#0#20#0#1#56^12^1
)
(Arc$A87
192#1024#192#320#0#0#0#0#20#0#1#24^56^1
)
(Arc$A88
960#320#0#0#0#0#0#0#20#0#1#23^56^1
)49##include <minmax.h>
class my_void
                 {

            friend istream & operator >>(istream & strm, my_void & t)
            {
            return strm;
            }

            friend ostream & operator << (ostream & strm, my_void  t)
            {
            return strm;
            }
            };

class timed_void
                 {
             public:
             double time;
            my_void value;

            friend istream & operator >>(istream & strm, timed_void & t)
            {
            strm >> t.time >> t.value;
            return strm;
            }

            friend ostream & operator << (ostream & strm, timed_void t)
            {
            strm << t.time <<"\n"<< t.value << "\n";
            return strm;
            }
            };

class timed_int
                 {
             public:
             double time;
            int value;
            friend istream & operator >>(istream & strm, timed_int & t)
            {
            strm >> t.time >> t.value;
            return strm;
            }

            friend ostream & operator << (ostream & strm, timed_int  t)
            {
            strm << t.time <<"\n"<< t.value << "\n";
            return strm;
            }
            };

            class timed_char
                 {
             public:
             double time;
            char value;
            friend istream & operator >>(istream & strm, timed_char & t)
            {
            strm >> t.time >> t.value;
            return strm;
            }

            friend ostream & operator << (ostream & strm, timed_char  t)
            {
            strm << t.time <<"\n"<< t.value << "\n";
            return strm;
            }
            };

            class timed_double
                 {
             public:
             double time;
            double value;
            friend istream & operator >>(istream & strm, timed_double & t)
            {
            strm >> t.time >> t.value;
            return strm;
            }

            friend ostream & operator << (ostream & strm, timed_double  t)
            {
            strm << t.time <<"\n"<< t.value << "\n";
            return strm;
            }
            };

            class timed_string
                 {
             public:
             double time;
            char value[256];
            friend istream & operator >>(istream & strm, timed_string & t)
            {
            strm >> t.time >> t.value;
            return strm;
            }

            friend ostream & operator << (ostream & strm, timed_string  t)
            {
            strm << t.time <<"\n"<< t.value << "\n";
            return strm;
            }
            };


T1>=T0
)